Initial Report on a Lisp Programmer's Apprentice
نویسندگان
چکیده
منابع مشابه
A Formal Representation for Plans in the Programmers Apprentice
A p l a n calculus is presented which is being used to represent p r o g r a m s and a l i b ra ry of standard data and control abstractions in t h e p r o g r a m m e r ' s apprent ice . Important features of this formalism i n c l u d e : p rogramming language independence, additivity, v e r i f i a b i l i t y and mult ip le points of v iew. The logical foundations of t h e r e p r e s e n t...
متن کاملUnderstanding Lisp Programs : towards a Programmer ' S Apprentice
Several attempts have been made to produce tools which will help the programmer of complex computer systems. A new approach is proposed which integrates the programmer's intenttons, the program code, and the comments, by relating them to a knowledge base of programming techniques. Our research will extend the work of Sussman, Goldstein, and Hewitt on program descrtption and annotation. A protot...
متن کاملSyncope; the Initial Manifestation of Pulmonary Embolism: A Case Report
Syncope is the state of lack of consciousness and temporal loss of postural tone. Syncope might be in association with a variety of benign and life-threatening conditions. Pulmonary embolism (PE) has been shown to be associated with syncope in 13-30 percent of cases. This article presents a novel case report of PE whom syncope was his only manifestation.
متن کاملExperience Report: The Next 600 Haskell Programmers
We report on our experience teaching a Haskell-based functional programming course to over 600 students. The syllabus was organized around selected material from various sources. Throughout the term, we emphasized correctness through QuickCheck tests and proofs by induction. The submission architecture was coupled with automatic testing, giving students the possibility to correct mistakes befor...
متن کاملInitial report on Object Spreadsheets
There is a growing demand for data-driven web applications that help automate organizational and business processes of low to medium complexity by letting users view and update structured data in controlled ways. We present Object Spreadsheets, an end-user development tool that combines a spreadsheet interface with a rich data model to help the process administrators build the logic for such ap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 1978
ISSN: 0098-5589
DOI: 10.1109/tse.1978.233869